Optimizing Active Database transactions Using an Extended Multiversion Concurrency Control Protocol

We study the problem of eeciently evaluating transactions that automatically invoke the execution of (deferred) database triggers at the end of the transaction. In particular, we consider an important class of triggers which may express arbitrary integrity constraints and alerters. Their event part speciies data modiications, their condition part is an arbitrary database query, and their action part can raise some alerts, issue a rollback, or \repair" the data modiication that triggered the rule. An update transaction that invokes such deferred trigger(s) reads (and locks) new database items before committing. These read operations may entail inter-transactions blockings, thereby degrading the performance of active database applications. We propose a slight extension of the classical multiversion two phase locking (MV2PL) protocol whereby these reads access versions and do not take locks. We prove the correctness of this protocol, and show that its implementation requires very few changes to classical implementations of MV2PL. Finally, a careful performance evaluation conducted with a simulator, shows the beneets of our protocol compared to a two phase locking protocol. Un Contr^ ole de Concurrence Multiversion pour Optimiser les Performances des Transactions dans un SGBD Actif R esum e : Dans les bases de donn ees actives, les transactions peuvent d eclencher et ex ecuter des triggers. Dans cet article, nous consid erons une classe importante de triggers qui permettent d'exprimer des contraintes d'int egrit es g en erales. Ces triggers sont d eclench es par les modiications des donn ees, leur condition est une requ^ ete arbitraire sur la base, et leur action peut d eclencher un alerteur, entra^ ner l'abandon de la transaction ou compenser certaines des modiications de la transaction qui ont d eclench e le trigger. Une transaction qui d eclenche de tels triggers en mode dii er e lit et verrouille des donn ees suppl ementaires avant de valider (ou d'^ etre abandon-n ee). Ceci peut causer des bloquages entre transactions et d egrader les performances. Nous proposons une l eg ere extension du contr^ ole de concurrence multiversion clas-sique (MV2PL) qui permet a ces lectures d'acc eder des versions sans verrouiller les donn ees. Nous prouvons la correction de notre algorithme et nous montrons qu'il peut ^ etre realis e facilement a partir d'un MV2PL existant. Finalement, une etude par simulation montre les apports de notre algorithme par rapport a un protocole de verrouillage a deux-phases.